A Reasoning Broker Framework for Protégé
نویسندگان
چکیده
We develop a reasoning broker framework for the combined use of existing OWL reasoners assisted by means for caching of results, scheduling of reasoning tasks and online-selection of appropriate reasoners. Here we present an integration of the first version of this reasoning broker framework into the Protégé ontology engineering environment. This allows for a controlled use of various reasoners within Protégé, supporting configurable strategies for selection and parallelisation.
منابع مشابه
A Reasoning Broker Framework for OWL
Semantic applications that utilise OWL ontologies can benefit from a broad range of OWL reasoning systems, which allow for the inference of implicit knowledge from explicitly given facts and axioms. Different OWL reasoners, however, specialise in different reasoning problems or kinds of ontologies, and hence perform differently in certain reasoning scenarios. This paper presents a reasoning bro...
متن کاملA Pervasive Computing Ontology for User Privacy Protection in the Context Broker Architecture
Privacy protection is a key requirement for the future pervasive computing systems. This paper describes the design and implementation of a privacy protection framework that exploits the SOUPA policy ontology and its associated policy reasoning algorithm. The SOUPA policy ontology expressed in the Web Ontology Language OWL allows users to define policy rules to permit or forbid actions that att...
متن کاملCombining SWRL rules and OWL ontologies with Protégé OWL Plugin, Jess, and Racer
The presentation concerns a draft implementation with Protégé OWL Plugin for SWRL, based on the RDF concrete syntax of the SWRL proposal. A first prototype of a SWRL Tab Widget has been achieved. It is a bridge between Protégé OWL, Racer, and Jess, intended to help reasoning with SWRL rules combined with OWL ontologies. A small example is given including an OWL ontology representing the family ...
متن کاملUsing Aspect-Oriented Programming to extend Protégé
The plug-in architecture of Protégé [3] is extremely successful in that it allows developers to custom-tailor Protégé for new purposes and to extend significantly the functionality the Protégé environment. Until now, developers have mainly extended Protégé by adding new tab plug-ins. For example, there are tab extensions that support visualization, validation, and reasoning, as well as domain-s...
متن کاملTowards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art reasoning systems are the result of many man-years of careful development and engineering, and usually they provide a high degree of sophistication in their respective domain. Yet they often perform poorly when applied o...
متن کامل